Offene Themen

Die folgende Liste enthält nummerierte Themen und Forschungsbereiche für eine Bachelor- und Masterarbeit. Für weitere Details wenden Sie sich an den Ansprechpartner, um diese in einem persönlichen Gespräch zu klären. Interessierte Studierende können sich aber auch an die Professoren des Instituts wenden, wenn Sie ein eigenes Thema besonders interessiert.

Arbeitsthema	Status	Ansprechpartner	Weitere Informationen
1. Logik und Automaten	offen	Tantau
2. Algorithmik
Implementierung und Test eines randomisierten Algorithmus zur Berechnung der Zuverlässigkeit eines Netzwerkes	offen	Reischuk
Algorithmen für diskrete Optimierungsprobleme bei unvollständiger Information	offen	Reischuk
Fehlertolerante Algorithmen	offen	Reischuk
Randomisierte Algorithmen für diskrete Optimierungsprobleme	offen	Reischuk
Experimental evaluation of graph algorithms	offen	Liskiewicz
Graph-based algorithms for histogram equalization of color images	offen	Liskiewicz
Algorithms for analysis website traffic and generated web-tracking graphs	offen	Liskiewicz
Dynamische Flussnetzwerke	offen	Reischuk
Exakte Algorithmen für diskrete Optimierungsprobleme	offen	Reischuk
Konstruktion schwerer Probleminstanzen für kombinatorische Algorithmen	offen	Reischuk
Evolutionäre/genetische Algorithmen für diskrete Optimierungsprobleme	offen	Reischuk
3.Komplexitätstheorie
Average-Case Laufzeitanalyse (Smoothed Analysis)	offen	Reischuk
Experimentelle Untersuchung der Lösungsmengen von NAE-SAT	offen	Reischuk
4. Künstliche Intelligenz
Learning finite automata with membership and equivalence queries with applications in model checking	offen	Liskiewicz
Machine learning with (differential) privacy	offen	Liskiewicz
Private preserving causal inference	offen	Liskiewicz
Private Preserving Data Mining	offen	Liskiewicz
Efficient algorithms for learning causal structures / Bayesian networks	offen	Liskiewicz	Link
5. IT-Sicherheit
Strongly undetectable algorithm-substitution attacks	offen	Liskiewicz
Algorithm-substitution attacks against signature schemes and symmetric encryption	offen	Liskiewicz
Fast secure two-party computation using Garbled Circuits: how efficient are the current tools?	offen	Liskiewicz
Bitcoin: address clustering and re-identification attacks	offen	Liskiewicz
Verschlüsselter Datenaustausch für Videosprechstunde	offen	Reischuk	Link
Bitcoin: tracking thefts and illicit activities	offen	Liskiewicz
Anonymisierung von Daten	offen	Reischuk
Geheime Informationsübertragung (Steganographie)	offen	Reischuk
Schutz der Privatsphäre (Differential Privacy, Private Computing)	offen	Reischuk
Echtheitsverifikation gedruckter Dokumente	offen	Reischuk
Privacy preserving methods in healthcare and epidemiology	offen	Liskiewicz
User privacy and anonymity in Bitcoin system	offen	Liskiewicz
Genomic privacy	offen	Liskiewicz
Backdoor attacks on cryptographic primitives	offen	Liskiewicz
Tools for analysis of the Bitcoin transaction graph	offen	Liskiewicz
Steganographische Verfahren zur Einbettung geheimer Informationen in Text-Dokumente	offen	Reischuk
6. Weitere Themen
Bei Interesse können auch spezielle Themen von den Studierenden vorgeschlagen werden.

Zum Ablauf

Die Bachelorarbeit bildet den Abschluss des Bachelorstudiums und die Masterarbeit bildet den Abschluss des Masterstudiums.

Formalien bei Bachelor- und Masterarbeiten

Bachelor- und Masterarbeiten werden grundsätzlich nur von Professoren und Dozenten der TNF ausgegeben. Bei Ausgabe des Themas ist ein entsprechendes Formblatt vom Betreuer und Studierenden auszufüllen und dem Prüfungsamt vorzulegen. Die Bearbeitungszeit der Bachelorarbeit beträgt 6 Monate, der Arbeitsumfang 3 Monate Vollzeit. Die Arbeit ist fristgemäß beim Vorsitzenden des Prüfungsausschusses oder dem Prüfungsamt abzuliefern.

Man benötigt neben dem Erstgutachter auch einen Zweitprüfer. Der Zweitprüfer wird durch den Vorsitzenden des Prüfungsausschusses bestimmt. Studierende und Betreuer können hierzu Vorschläge machen.

Nach Abgabe der Arbeit soll innerhalb von 4 Wochen das Kolloquium durchgeführt werden. Prüfer und Studierende legen hierzu einen Termin fest, der auf dem Anmeldeformular für Bachelorarbeiten Anmeldeformular für Masterarbeiten mindestens eine Woche vorher dem Prüfungsamt bekannt zu geben ist.

Abgeschlossene Arbeiten

2024

F.W.:
On the Complexity of Fundamental Problems for DAG Compressed Graphs.
Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
Gutachter: Till Tantau, Diedrich Wolter.
J.B.:
An Application of Quantum Annealing for Prime Factorisation.
Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
Gutachter: Maciej Liskiewicz, Sven Groppe.
L.B.:
Improving Layout for Causal Graphs.
Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
Gutachter: Maciej Liskiewicz, Sven Groppe.
N.J.S.:
Implementierung von Steganographie in QR-Codes.
Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
Gutachter: Sebastian Berndt, Thomas Eisenbarth.
N.M.:
New algorithms for variants of subset sum and their support bounds.
Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
Gutachter: Sebastian Berndt, Kim-Manuel Klein.
P.R.:
Steganographie unter Verwendung von fehlerkorrigierenden Codes.
Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
Gutachter: Rüdiger Reischuk, Esfandiar Mohammadi.

2023

R. D.:
Praktische Evaluation eines neuen Algorithmus für Varianten des unbeschränkten Teilsummenproblems.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Sebastian Berndt, Esfandiar Mohammadi.
T. E.:
Fault Injection: An Attack on the post quantum KEM BIKE.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Sebastian Berndt, Thomas Eisenbarth.
M. H.:
Implementing Secure Summation For Mobile Devices.
Universität zu Lübeck, Institut für IT-Sicherheit, 2023.
Gutachter: Esfandiar Mohammadi, Sebastian Berndt.
C. H.:
Secure and Fast Outsourced Machine Learning.
Universität zu Lübeck, Institut für IT-Sicherheit, 2023.
Gutachter: Thomas Eisenbarth, Sebastian Berndt.
A.S.P.:
Analysis of Fault Injection Impacts on Cryptographic Primitives.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Sebastian Berndt, Saleh Mulhem.
D.A.:
ML-based Methods for Predicting Price Movements.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Maciej Liskiewicz, Marcin Grzegorzek.
D.K.:
Analyse eines parallelen Semisortierverfahrens.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Max Bannach, Esfandiar Mohammadi.
D.K.:
Twin-Width 0 and 1 on Trigraphs Using Modular Decomposition.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Till Tantau, Esfandiar Mohammadi.
J.W.:
Post-Compromise attack on Signalprotocol.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Sebastian Berndt, Thomas Eisenbarth.
K.H.:
Implementation of substitution attacks on Sigma protocols.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Sebastian Berndt, Thomas Eisenbarth.
M.D.:
Implementation und Evaluation von Algorithmen zur Bestimmung von Erfüllbarkeitswahrscheinlichkeiten von aussagelogischen Formeln.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Till Tantau, Esfandiar Mohammadi.
M.D.:
WebRTC Anwendung im medizinischen Kontext.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Rüdiger Reischuk, Andreas Schrader.
P.L.:
Implementierung von Angriffen gegen das Matrix-Protokoll.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Sebastian Berndt, Esfandiar Mohammadi.
S.G.:
Dynamische Algorithmen für Rucksack-Probleme.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Sebastian Berndt, Kim-Manuel Klein.
S.K.:
Entwicklung eines Tools zur Rückverfolgung von Cardano-Transaktionen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Sebastian Berndt, Esfandiar Mohammadi.
S.M.:
Exploring Steganographic Schemes as Algorithm Substitution Attacks against ECDSA in the Context of Bitcoin Transactions.
Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
Gutachter: Maciej Lisikiewicz, Thomas Eisenbarth.
V.B.:
Evaluation eines Algorithmus für eine schnelle Breitensuche.
Universität zu Lübeck, Institut für Informationssysteme, 2023.
Gutachter: Ralf Möller, Till Tantau.

2022

J. A.:
Exploring ways to improve the runtime of Banquet.
Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
Gutachter: Sebastian Berndt, Esfandiar Mohammadi.
K. H.:
Membership Inference Attack on random forest regression models.
Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
Gutachter: Esfandiar Mohammadi, Sebastian Berndt.
F. L.:
Analyse der Uniformität von Knapsack-Verteilungen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
Gutachter: Sebastian Berndt, Thomas Eisenbarth.
J. M.:
Implementation of covert MPC protocols.
Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
Gutachter: Sebastian Berndt, Thomas Eisenbarth.
N. W.:
Differentially Private Percentils with Secure Multiparty Computation using SCALE Framework.
Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
Gutachter: Esfandiar Mohammadi, Sebastian Berndt.
J. W.:
Estimating Input Distributions of Partial Background Knowledge for Differential Privacy Mechanisms.
Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
Gutachter: Esfandiar Mohammadi, Sebastian Berndt.
A.B.:
Implementation and Evaluation of cryptographic reverse firewalls with regard to their practicality.
Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
Gutachter: Sebastian Berndt, Thomas Eisenbarth.
F.B.:
Floor Sensor Data using Neural Networks.
Universität zu Lübeck, Institut für Medizinische Informatik, 2022.
Gutachter: Marcin Grzegorzek, Maciej Liskiewicz.
J.B.:
Secure Steganography on ML-Based Channels.
Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
Gutachter: Maciej Liskiewicz, Esfandiar Mohammadi.
J.H.G.:
k-Server-Typ-Scheduling mit Umrüstungskosten.
Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
J.v.d.H.:
Boosting Sequential Composition for Noiseless Privacy via Subsampling.
Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
Gutachter: Esfandiar Mohammadi, Rüdiger Reischuk.
K.F.:
Parallel Data Reduction for the Odd Cycle Traversal Problem.
Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
Gutachter: Till Tantau, Ralf Möller.
L.O.:
Protocols for Private Edit Distance Estimation.
Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
Gutachter: Maciej Liskiewicz, Esfandiar Mohammadi.

2021

S. B.:
Evaluation of Techniques for Finding the k Best Elements on Maximization of Quasi-Convex Scoring Functions and Minimization of Parabolic Polynomial Scoring Functions.
Universität zu Lübeck, Institut für Informationssysteme, 2021.
Gutachter: Ralf Möller, Till Tantau.
E. B.:
Randomisierte Analyse des k-Server Problems.
Universität zu Lübeck, Institut für Theoretische Informatik, 2021.
Gutachter: Rüdiger Reischuk, Heiko Hamann.
K. B.:
Steganographie auf Zahlenfolgen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2021.
Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
L. B.:
Topic-Modellierung für die Zuordnung von Kundenanfragen zu Sachbearbeitern.
Universität zu Lübeck, Institut für Informationssysteme, 2021.
Gutachter: Ralf Möller, Maciej Liskiewicz.
Y. F.:
Experimental Analysis of Algorithms for d-separation in DAG.
Universität zu Lübeck, Institut für Theoretische Informatik, 2021.
Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
F. K.:
Topic Modeling with Probabilistic Soft Logic.
Universität zu Lübeck, Institut für Informationssysteme, 2021.
Gutachter: Ralf Möller, Maciej Liskiewicz.
G. M.:
Algorithmen zum Zählen und Aufzählen chordaler Graphen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2021.
Gutachter: Maciej Liskiewicz, Martin Leucker.
F.-L- B. N.:
Konzeption und Umsetzung von eKlausuren in der Programmieren-Ausbildung.
Universität zu Lübeck, Institut für Telematik, 2021.
Gutachter: Stefan Fischer, Till Tantau.
Y. S. S.:
Entwurf und Analyse auswertbarkeitserhaltender Anonymisierungsalgorithmen unter Berücksichtigung der Differential Privacy.
Universität zu Lübeck, Institut für Theoretische Informatik, 2021.
Gutachter: Rüdiger Reischuk, Esfandiar Mohammadi.

2020

F. G.:
Algorithmen für das Moving-Travelling Salesman Problem.
Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
Gutachter: Maciej Liskiewicz, Martin Leucker (ISP).
J. G.:
Optimierungsprobleme für Mengensysteme.
Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
Gutachter: Rüdiger Reischuk, Özgür Özcep.
J. G.:
Quantification of information leakages in binaries through side-channel vulnerable runtime behavior.
Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
Gutachter: Rüdiger Reischuk, Thomas Eisenbarth.
J. H.:
Beschleunigung von Graphfärbungsalgorithmen auf Baumzerlegungen mit Hilfe von Entscheidungsdiagrammen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
Gutachter: Till Tantau, Ralf Möller.
C. H.:
Das Känguru Problem.
Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
Gutachter: Rüdiger Reischuk, Heiko Hamann.
K. J.:
StirMark Tests on Digital Watermarking.
Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
Gutachter: Andreas Jakoby, Maciej Liskiewicz.
F. M.:
Compactification of Probability Distributions.
Universität zu Lübeck, Institut für Informationssysteme, 2020.
Gutachter: Ralf Möller, Maciej Liskiewicz.
S. O.:
Computerschach.
Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
Gutachter: Rüdiger Reischuk, Ralf Möller.
P. P.:
An Analysis of Contemporary Attacks on White-Box implementations.
Universität zu Lübeck, Institut für IT-Sicherheit, 2020.
Gutachter: Thomas Eisenbartg, Maciej Liskiewicz.
J. S.:
Steganographie in Schwarz-Weiß Bildern.
Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
Gutachter: Rüdiger Reischuk, Esfandiar Mohammadi.
T.-H. T.:
Noncense-Algorithm Substitution Attacks on TLS.
Universität zu Lübeck, Institut für IT-Sicherheit, 2020.
Gutachter: Thomas Eisenbarth, Maciej Liskiewicz.

2019

F. G.:
Algorithms for the Feedback Arc Set Problem.
Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
Gutachter: Rüdiger Reischuk, Heiko Hamann.
H. H.:
Aggregation on the shortest path in a Kilobot swarm.
Universität zu Lübeck, Institut für Technische Informatik, 2019.
Gutachter: Heiko Hamann, Rüdiger Reischuk.
F. H.:
Untersuchungen zur Fixed-Parameter-Tractability des Model-Checking-Problems auf universellen Fragmenten der erststufigen Logik.
Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
Gutachter: Till Tantau, Ralf Möller.
M. L.:
Täuschungsstrategien gegen Fingerprinting im Webbrowser.
Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
Gutachter: Maciej Liskiewicz, Thomas Eisenbarth.
S. M.:
Der Genetische Code und seine Optimierung statistisch untersucht.
Universität zu Lübeck, Institut für Neuro- und Bioinformatik, 2019.
Gutachter: Amir Madany Mamlouk, Till Tantau.
M. S.:
Beschreibung von regulären und rationalen Relationen mittels erststufiger Prädikatenlogik.
Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
Gutachter: Till Tantau, Özgür L. Özcep.
F.-C. S.:
Datenbankanonymisierung auf Basis von k-means-Algorithmen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
Gutachter: Rüdiger Reischuk, Esfandiar Mohammadi.
S. T.:
Experimental analysis of algorithm substitution attacks.
Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
Gutachter: Maciej Liskiewicz, Thomas Eisenbarth.
V. W.:
Implementierung und Benchmarking eines exakten kombinatorischen Algorithmus für eine minimale Graph Bisektion.
Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
Gutachter: Maciej Liskiewicz, Ralf Möller.

2018

T. B.:
Optimierung eines Genetischen Algorithmus für das Mengenüberdeckungsproblem.
Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
Gutachter: Rüdiger Reischuk, Ralf Möller.
B. K.:
Der Effekt von nicht zufälligen Verteilungen in codierten Daten aus die Mutationsstabilität des genetischen Codes.
Universität zu Lübeck, Institut für Neuro- und Bioinformatik, 2018.
Gutachter: Amir Madany Mamlouk, Till Tantau.
K. K.:
Entwicklung einer Salesforce-Applikation zur Anzeige von mitarbeiterbezogenen Leistungskennzahlen und zur Zentralisierung mitarbeiterrelevanter Funktionen.
Universität zu Lübeck, Institut für Telematik, 2018.
Gutachter: Stefan Fischer, Till Tantau.
J. L.:
Die Algorithmische Komplexität von Worst Case Flüssen in Unzuverlässigen Flussnetzwerken.
Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
Gutachter: Rüdiger Reischuk, Till Tantau.
T. L.:
Network Steganography.
Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
Gutachter: Maciej Liskiewicz, Stefan Fischer.
A. O.:
B.I.T.: Tool für die Extrahierung und Analyse von Bitcoin-Transaktionsgraphen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
Gutachter: Maciej Liskiewicz, Stefan Fischer.
M. S.:
Auswertbarkeitserhaltende Datenbankanonymisierung mithilfe von aktuellen Algorithmen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
Gutachter: Rüdiger Reischuk, Thomas Eisenbarth.
G. W.:
Soziales Netzwerk mit Privatsphäre.
Universität zu Lübeck, Institut für für Informationssysteme, 2018.
Gutachter: Sven Groppe, Rüdiger Reischuk.

2017

P. D.:
Randomisierte Algorithmen für das Färbungsproblem.
Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
Gutachter: Rüdiger Reischuk, Till Tantau.
T. P.:
Effiziente parallele Kernel-Algorithmen für das Vertex-Cover-Problem.
Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
Gutachter: Till Tantau, Ralf Möller.
V. R.:
Complexity of the Subgraph Homeomorphism Problem Parameterized by Directed Treewidth.
Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
Gutachter: Till Tantau, Rüdiger Reischuk.
L. S.:
Algorithmische Konstruktion von Primern.
Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
Gutachter: Till Tantau, Amir Madany.
L. W.:
Lange Wege in Gittergraphen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
Gutachter: Rüdiger Reischuk, Christian Bey.

2016

G. A.:
Platzierung von Speicherknoten in dynamischen Netzwerken.
Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
Gutachter: Rüdiger Reischuk, Martin Teichert.
M. B.:
Vierwertige Timed-Linear-Temporal-Logic.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2016.
Gutachter: M. Leucker, Till Tantau.
T. O. C.:
Praktische Implementierung der Grey-Box Steganographie.
Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
G. H.:
Algorithmisches Zeichnen von Automaten.
Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
Gutachter: Till Tantau, Martin Leucker.
H. K.:
Effizienter Leerheitstest pro Zustand auf Buch-Automaten.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2016.
Gutachter: Martin Leucker, Till Tantau.
A. K.:
Visualisierung von Stammbäumen in Ticks unter Erhaltung semantischer Repräsentationen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
Gutachter: Till Tantau, Ralf Möller.
D. M.:
"Secure Two-Party Computation" mit Unterstützung vom CBMC-GC System: Experimentelle Analyse.
Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
Gutachter: Maciej Liskiewicz, Stefan Fischer.
Y. W.:
Analyse anonymisierter Daten.
Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
Gutachter: Rüdiger Reischuk, Heinz Handels.
M. W.:
Experimentelle Analyse von Algorithmen zur Lösung des Bisektionsproblems in Graphen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
Gutachter: Maciej Liskiewicz, Hanns-Martin Teichert.
PDF anzeigen

2015

K.-D. B.:
Graph-basierte Wasserzeichen für Software.
Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
Gutachter: Maciej Liskiewicz, Martin Leucker.
A. D.:
Entwurf und Implementierung von Routing-Algorithmen in TikZ.
Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
Gutachter: Till Tantau, Martin Teichert.
M. D.:
Genetische Algorithmen für das Minimum Dominating Set-Problem.
Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
Gutachter: Rüdiger Reischuk, Karsten Keller.
Z. H.:
Development and Examination of a Huffman-coding based Stegosystem.
Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
M.-L. K.:
An Extension of TikZ for Automated Pedigree Construction.
Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
Gutachter: Till Tantau, Amir Madany Mamlouk.
M. K.:
From 2-Ways Nondeterministic Büchi Automata to Alternating Büchi Automata.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
Gutachter: Martin Leucker, Till Tantau.
N. K.:
Secure Multiparty Computations in Bitcoin.
Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
Gutachter: Maciej Liskiewicz, Stefan Fischer.
T. L.:
Implementation of a Simplex-Based Isosurfacing Method for Medical Image Data.
Universität zu Lübeck, Institut für Medizinische Informatik, 2015.
Gutachter: Jan Ehrhardt, Maciej Liskiewicz.
A. A. L.:
Probabilistische Analyse und Minimierung von Flussnetzwerken.
Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
Gutachter: Rüdiger Reischuk, Martin Teichert.
J. O.:
Untere Schranken für Online-Bin-Packing-Modelle.
Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
Gutachter: Till Tantau, Stefan Fischer.
J. C. P.:
Algorithmisches Zeichnen von RNA-Hairpin-Strukturen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
Gutachter: Till Tantau, Amir Madany Mamlouk.
C. P.:
An Algorithmic Toolbox to Facilitate the Genetic Finite Automata Based Approach for Negative Selection.
Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
Gutachter: Maciej Liskiewicz, Martin Leucker.
A. P.:
Extending Freeze LTL on Multi-Attributed Data Words with Quantifiers.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
Gutachter: Martin Leucker, Till Tantau.
L. K. S.:
On polytopes describing multi-terminal network flows.
Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
Gutachter: Rüdiger Reischuk, Andreas Rößler.

2014

R. G.:
Frameshift Mutations of the Genetic Code and Their Impact on the Polarity Conversation of Amino Acids.
Universität zu Lübeck, Institut für Neuro- und Bioinformatik, 2014.
Gutachter: Amir Madany Mamlouk, Till Tantau.
J. H.:
Entwicklung eines SAT-Solvers.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
Gutachter: M. Leucker, M. Liskiewicz.
P. M. K.:
Erhöhung der Netzwerk-Kapazität in Flussnetzwerken mit Speicherknoten.
Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
Gutachter: Rüdiger Reischuk, Hans-Martin Teichert.
M. M.:
Vier-wertige Abwicklungssemantik für Timet-LTL.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
Gutachter: Martin Leucker, Maciej Liskiewicz.

2013

R. B.:
Implementierung und experimentelle Untersuchung des exakten TSP-Algorithmus von Eppstein für kubische Graphen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
Gutachter: Maciej Liskiewicz, Till Tantau.
K. D.:
Fast Algorithms for Immune Response Simulations in Models with r-Contiguous-Based Affinity Measures.
Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
Gutachter: Maciej Liskiewicz, Amir Madany Mamlouk.
A. I.:
Mehrdimensionale Histogram Equalization: Modellierung und komplexitätstheoretische Analyse.
Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
Gutachter: Maciej Liskiewicz, Martin Leucker.
T. P.:
Fußballprognose mit Hilfe der Poisson Verteilung und Bayesschen Netzwerken.
Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
Gutachter: Maciej Liskiewicz, Andreas Schrader.
M. S.:
Algorithm for anomaly detection using string-based Negative Selection.
Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
Gutachter: Maciej Liskiewicz, Andreas Schrader.
T. S.:
Lokale Suchstrategien für Erfüllbarkeitsprobleme.
Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
M. S.:
Stabilität des natürlichen Codes unter Shiftmutation.
Universität zu Lübeck, Institut für Neuro- und Bioinformatik, 2013.
Gutachter: Amir Madany Mamlouk, Till Tantau.
F. T.:
Eine Analyse der Konzepte von Sicherheit und Detektierbarkeit von steganographischen Verfahren.
Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
N. V.:
Experimentelle Analyse des Ensemble-Classifiers für die Steganalyse von digitalen Bildern.
Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
Gutachter: Maciej Liskiewicz.

2012

M. B.:
Berechnungskomplexitäten von Varianten des Subset-Sum-Problems.
Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
Gutachter: Till Tantau, Hans-Martin Teichert.
PDF anzeigen | Zusammenfassung anzeigen
In dieser Arbeit betrachten wir das Problem subsetsum, bei dem aus ei- ner gegebenen Menge von natürlichen Zahlen eine Teilmenge bestimmt werden soll, sodass die Elemente dieser Teilmenge in der Summe ei- ne vorgegebene Zahl ergeben. Die Komplexität von subsetsum ist für die Informatik interessant, denn aufgrund des generischen Aufbaus von subsetsum lassen sich viele weitere Probleme darauf zurückfüh- ren. In dieser Arbeit soll die Komplexität von mehreren Varianten von subsetsum untersucht werden, denn obwohl fast alle Varianten des Pro- blems in der üblichen binären Codierung NP-vollständig sind, haben diese Probleme oft unterschiedliche Komplexitäten, wenn wir unäre Kodierungen betrachten. In dieser Arbeit werden einige natürliche Va- rianten dieses Problems diesbezüglich untersucht und entsprechende Resultate präsentiert.
M. B.:
Multimengen-Baumautomaten: Analyse und Implementierung.
Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
Gutachter: Till Tantau, Martin Leucker.
S. G.:
Eine Multicommodity Push-Relabel-Algorithmus und Anwendung für parametrisierte Graphen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
P. H.:
Turn Costs in Energy-Optimal Route Planning for Electric Vehicles.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2012.
Gutachter: Martin Leucker, Maciej Liskiewicz.
C. K.:
Algorithmen und Datenstrukturen für Prioritätswarteschlangen auf partiellen Ordnungen.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2012.
Gutachter: Martin Leucker, Maciej Liskiewicz.
I. K.:
Lösungsstrategien und semiautomatische Generierung von Testdatensätzen bei ACM-ICPC-artigen Graphproblemen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
Gutachter: Maciej Liskiewicz, Till Tantau.
S. M.:
Implementation and Comparison of Algorithms for Constructing and Visualizing Phylogenetic Trees.
Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
Gutachter: Till Tantau, Hans-Martin Teichert.
PDF anzeigen | Zusammenfassung anzeigen
TEX ist ein Textsatzsystem, das häufig für die Erstellung wissenschaftli- cher Dokumente eingesetzt wird. Das TEX-Paket TikZ ermöglicht zusätz- lich die Erzeugung von qualitativ hochwertigen Vektorgraphiken direkt in einem TEX-Dokument. Das Ziel dieser Arbeit war es, die TikZ-Graph-Draw- ing-Bibliothek so zu erweitern, dass die Berechnung und Visualisierung phy- logenetischer Bäume ebenfalls möglich wird. Phylogenetische Bäume sind Diagramme, die die Phylogenie einer Men- ge an Taxa in einer baumartigen Struktur darstellt. Die Stammesgeschichte kann z.B. durch die sogenannten distance-based methods (engl. distanzbasierte Methoden) berechnet werden, wobei die Phylogenie anhand einer Distanz- matrix abgeschätzt wird. Es gibt verschiedene distanzbasierte Ansätze, von denen zwei in dieser Arbeit näher betrachtet werden: der UPGMA- und der BME-Algorithmus. Während UPGMA eher einfach und dadurch auch leicht zu implementieren ist, ist BME deutlich überlegen, wenn es um akkurate Topologie, Zeitkomplexität und Einsetzbarkeit geht. Da die beiden Algo- rithmen nicht nur die Topologie des Baumes, sondern auch dessen Kan- tenlängen bestimmen, ist auch ein Algorithmus erforderlich, der mit dem Zeichnen von Graphen mit festen Kantenlängen umgehen kann. Sowohl die Algorithmen für die Berechnung phylogenetischer Bäume als auch die für deren Zeichnung wurden in der Programmiersprache Lua implementiert, da es LuaTEX ermöglicht, Lua-Code direkt in TEX einzubetten. Die Algorithmen und ihre Implementierungen werden diskutiert und verglichen, wobei das implementierte Modul für die Berechnung und Visualisierung einiger bei- spielhafter phylogenetischer Bäume direkt in diesem Dokument angewandt wird.
M. S.:
Transformation von regulärer Linearzeit-Temporallogik zu Paritätsautomaten.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2012.
Gutachter: Martin Leucker, Till Tantau.
B. W.:
Steganographie in Binärbildern.
Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
F. W.:
Synchronisierungsmethoden zur Huffmankodierung.
Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
Gutachter: Maciej Liskiewicz, Andreas Schrader.

2011

J. B.:
Visualisierung von Quanteninterferenzen anhand des Shor-Algorithmus.
Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
Gutachter: Maciej Liskiewicz, Till Tantau.
R. J.:
PhotoSurface: Entwicklung einer Multi-Tough-Anwendung zur Sichtung, Bewertung und Kategorisierung von Bildern.
Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2011.
Gutachter: Michael Herczeg, Till Tantau.
S. M.:
Modelle und Algorithmen zur Navigationserkennung innerhalb von Domains.
Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
Gutachter: Rüdiger Reischuk, Till Tantau.
PDF anzeigen | Zusammenfassung anzeigen
Diese Arbeit befasst sich mit der Erkennung von Navigationen innerhalb von Webdokumenten. Zunächst werden eine eigene Charakterisierung von Navigationen, typische lokale und webdokumentübergreifende Navigationseigenschaften sowie mögliche Anwendungsgebiete der Navigationserkennung vorgestellt. Basierend auf der Charakterisierung der Navigationen und Navigationssysteme wird eine Struktur (Gruppen) für die Erkennung von einheitlich dargestellten Hyperlinks innerhalb eines Webdokumentes formal eingeführt und algorithmisch beschrieben. Im Anschluss werden verschiedene Ansätze für die Feststellung von Ähnlichkeiten zwischen Hyperlinks und zwischen Gruppen sowie Modelle und Algorithmen zur Überprüfung der Verlinkungsstruktur dargestellt. Abschließend werden die vorgestellten Modelle und Algorithmen in einem Algorithmus zur Navigationserkennung zusammengefasst und analysiert.
F. N.:
Konzeption und Implementierung eines grafischen Editors für die Grafik-Beschreibungssprache TikZ.
Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
Gutachter: Till Tantau, Andreas Schrader.
P. S.:
Implementierung und Analyse des 2- und n-Linien Protokolls zur Vorratsdatenspeicherung.
Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
Gutachter: Andreas Jakoby, Maciej Liskiewicz.
T. S.:
Transformationen von Paritätsautomaten in Büchi-Automaten.
Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2011.
Gutachter: Martin Leucker, Till Tantau.
U. W.:
Facebook App: Community und Hub Detection in realen sozialen Netzwerken.
Universität zu Lübeck, Institut für Telematik, 2011.
Gutachter: Stefan Fischer, Till Tantau.

2010

J.-H. D.:
Approximatives String Matching in Ziv-Lempel komprimierten Texten.
Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
Gutachter: Rüdiger Reischuk, Macciej Liskiewicz.
M. N.:
Benutzerschnittstelle für ein interaktives multitouchbasiertes Planspiel für naturkundliche Museen.
Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2010.
Gutachter: Michael Herczeg, Till Tantau.
T. R.:
Simulationskomponente für ein interaktives multitouch-basiertes Planspiel für naturkundliche Museen.
Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2010.
Gutachter: Michael Herczeg, Till Tantau.
N. T.:
Partizipatorisches Systemdesign für ein interaktives multitouch-basiertes Planspiel für naturkundliche Museen.
Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2010.
Gutachter: Michael Herczeg, Till Tantau.
C. W.:
Exaktes Patternmatching in komprimierten Texten.
Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
Gutachter: Rüdiger Reischuk, Till Tantau.

2009

S. F.:
Approximistisches String-Matching.
Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
Gutachter: Rüdiger Reischuk, Till Tantau.
M. P.:
Das k-Server Problem in zweidimensionalen Gittern.
Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
M. P.:
Evolution vielfaltserzeugender Mechanismen im Immunsystem.
Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
Gutachter: Till Tantau, Steffen Möller.
PDF anzeigen
J. P.:
Porting the Thunar File Manager to the Extensible Asynchronous Virtual File System Layer GIO.
Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
Gutachter: Till Tantau.
C. P.:
Vertex Cover: Performance Improvement through Evolutionary Algorithms and Kernelization.
Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
Gutachter: Rüdiger Reischuk.
C. S.:
Evolutionäre Algorithmen auf Graphen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
Gutachter: Rüdiger Reischuk, Andreas Jakoby.
L. S.:
Validierung der Perfekte-Phylogenie-Annahme für die Haplotypisierung.
Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
Gutachter: Till Tantau, Steffen Möller.
B. T.:
Systembiologische Modellierung des HIF-Regelkreises unter Normoxie und Hypoxie.
Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
Gutachter: Till Tantau, Jan Rupp.
Zusammenfassung anzeigen
An der Universität zu Lübeck beschäftigen sich viele Arbeitsgruppen mit dem Thema HIF. Aus diesem Grund wird ein Computerprogramm benötigt, das metabolische Systeme implementieren und simulieren kann. Die zu diesem Thema bereits existierenden Softwarelösungen sind zu komplex und zumeist nicht frei verfügbar. Daher wurde im Rahmen dieser Arbeit ein Programm entwickelt, das genau auf diesen Zweck zugeschnitten ist. Damit ist es möglich Stoffwechsel-Kreisläufe zu simulieren und die Ergebnisse direkt mit experimentellen Daten zu vergleichen. Um das Programm auf den HIF-Regelkreis anzuwenden wurde ein Modell erstellt, das die sauerstoffabhängige Akkumulation von HIF-1? in der Zelle darstellt. Das Modell wurde simuliert und die Ergebnisse mit experimentellen Daten verglichen.

2008

N. H.:
Primary diversity mechanisms of the antibody synthesis in humans, mice and chickens.
Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
Gutachter: Till Tantau, Steffen Möller.
PDF anzeigen | Zusammenfassung anzeigen
The current models for the evolution of antibody diversity do not reflect sufficiently the complexity of the associated mechanisms. The diversity of antibodies is essential for the survival of vertebrates against the huge amount of pathogens in the natural environment. The improvement of these models is a crucial step to understand the key factors that govern the evolution of an- tibody diversity. We analyze the V gene based primary diversity mechanisms in humans, mice and chickens. Our investigations provide the characteristic features of two mechanisms which help to create more suitable models for the evolution of antibodies.
J. H.:
Untersuchungen zur Sicherheit eines PCA-basierten Fingerprint-Systems.
Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
J. K.:
Erstellung eines Programmierframeworks zur Visualisierung von Algorithmen im Unterricht.
Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
Gutachter: Till Tantau.
PDF anzeigen | Zusammenfassung anzeigen
Diese Studienarbeit stellt das Framework zur Algorithmusvisualisierung ALF vor. Die Struktur und die Funktionsweise werden erklärt und die Benutzung des Framework werden beschrieben. Mit dem Konzept des Algorithmischen Labors werden Pinzipien für das Interaktionsdesign und das Interfacedesign von Applikationen zur Algorithmusvisualisierung beschrieben, die mit Hilfe von ALF umgesetzt werden können. Die Entwicklung einer solchen Applikation wird am Beispiel des Algorithmus zur Matrix-Matrix-Multiplikation erläutert.
H. S.:
Entwicklung und Implementierung von Algorithmen zur Erkennung von Gesichtsmerkmalen in digitalen Passbildern.
Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
Gutachter: Rüdiger Reischuk, Alfred Mertins.

2007

S. G.:
Implementierung und Anwendung von Algorithmen zur Orientierung von Protein-Protein-Interaktionsnetzwerken.
Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
Gutachter: Till Tantau, Christian Claussen.
B. H.:
Partikelsimulation einer Reaktions-Diffusions-Gleichung.
Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
Gutachter: Till Tantau, Dirk Langemann.
PDF anzeigen | Zusammenfassung anzeigen
Mit dem drastischen Anstieg der Rechnerleistung in den letzten beiden Jahrzehnten haben sich neben den klassischen mathematischen Modellierungsmethoden durch Differentialgleichungssysteme auch Partikelsimulationen immer mehr zu einer nützlichen Methode innerhalb naturwissenschaftlicher Forschung entwickelt. Im Bereich der Immunologie basieren die meisten Simulationen, welche zur Voraussage und Bewertung von Versuchsergebnissen eingesetzt werden, auf dem Celada-Seiden-Modell. Da bei der Erstellung dieses Modells die Berücksichtigung thermodynamischer und kinetischer Gesetzmäßigkeiten nicht im Vordergrund stand, mangelt es dem Celada-Seiden-Modell immer noch an allgemeiner Akzeptanz. Einige spezielle Reaktions-Diffusions-Systeme können mit Hilfe der Differentialgleichungen des FitzHugh-Nagumo-Modells dargestellt werden. In dieser Arbeit wurde das Celada- Seiden-Modell auf ein bistabiles System übertragen, für das bereits eine Partikelsimulation existiert, welche dieselben Ergebnisse liefert wie die FitzHugh-Nagumo-Gleichungen. Mit Hilfe einer im Rahmen dieser Arbeit entwickelten Software wurden die genannten Modelle analysiert und Gemeinsamkeiten wie auch Unterschiede herausgearbeitet. Des Weiteren wurden zur Untersuchung der biophysikalischen Plausibilität des Celada-Seiden-Modells Simulationsparameter für dieses Modell ermittelt, die zur Ausbildung von stabilen labyrinthartigen Turingmustern führen.
V. P.:
SEV-step: Instruction Granular Execution Tracking with Single Stepping on AMD SEV.
Universität zu Lübeck, Institut für IT-Sicherheit, 2007.
Gutachter: Thomas Eisenbarth, Sebastian Berndt.

2006

F. P.:
Vergleich von Genome Rearrangement Algorithmen.
Universität zu Lübeck, Institut für Theoretische Informatik, 2006.
Gutachter: Rüdiger Reischuk.
J. R.:
UltraMarc-Hashbasiertes Wasserzeichensystem für digitale Bilder.
Universität zu Lübeck, Institut für Theoretische Informatik, 2006.
Gutachter: Maciej Liskiewicz (Studienarbeit).

2004

J. T.:
Modelado de Documentos de la Administración Pública.
Universidad Carlos III de Madrid, Departamento de Ingenería Telemática, 2004.
PDF anzeigen

Zum Überblick Mitarbeiter

Professoren

Sekretariat

Kontakt

Wissenschaftliche Mitarbeiter

Technische Mitarbeiter

Institut für Theoretische Informatik

Bachelor- und Masterarbeiten

Das Institut

Forschung

Lehre und Studium

Einstiege für